prove midpoints of a quadrilateral is a parallelogram